Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
31	COMP-201: Discrete Computational Structures (Fall 2008 Syllabus) Instructor: Y¨ucel Yemez, Rm: Eng-139, Email: , Phone: , Office hours: Tuesday/Thursday 14:30-15:30. Teaching Assistants: Add to Reading List Source URL: atakangunal.com Language: English - Date: 2014-10-22 13:26:07 Logic Mathematical logic Mathematics Boolean algebra Classical logic Propositional calculus Discrete mathematics Algorithm Academic dishonesty
32	Scalable Flow-Based Community Detection for Large-Scale Network Analysis Seung-Hee Bae∗ , Daniel Halperin∗ , Jevin West† , Martin Rosvall‡ and Bill Howe∗ ∗ Department of Computer Science and Engineering, Uni Add to Reading List Source URL: www.jevinwest.org Language: English - Date: 2015-11-11 00:05:03 Mathematics Computational complexity theory NP-complete problems Algorithm Mathematical logic Theoretical computer science Graph partition Community structure Connectivity
33	Measuring semantic content in distributional vectors Aur´elie Herbelot EB Kognitionswissenschaft Universit¨at Potsdam Golm, Germany Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-06-18 09:18:55 Linguistics Semantics Computational linguistics Logic Lexical semantics Philosophical logic Statistical theory Hyponymy and hypernymy Distributional semantics Semantic similarity WordNet Word sense
34	A DESCRIPTIVE TITLE, NOT TOO GENERAL, NOT TOO LONG Markus P¨uschel Department of Computer Science ETH Z¨urich Z¨urich, Switzerland The hard page limit is 6 pages in this style. Do not reduce font size or use other tri Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2013-09-09 04:58:26 Sorting algorithms Computing Data processing Mathematics Algorithm Mathematical logic Theoretical computer science Sorting Sort Computational complexity theory Program optimization Selection algorithm
35	On the Optimality of Top-k Algorithms for Interactive Web Applications∗ Yael Amsterdamer Daniel Deutch Add to Reading List Source URL: webdb2011.rutgers.edu Language: English - Date: 2011-05-31 18:17:42 Computational complexity theory Mathematics Edsger W. Dijkstra Graph theory Algorithm Mathematical logic Theoretical computer science Shortest path problem NP Dynamic programming
36	A Mathematical-Algorithmic Approach to Sets: A Case Study Judith Gal-Ezer1 Orna Lichtenstein2 April 1996 Abstract The aim of this paper is to show, by means of a mathematical example, how Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2004-09-27 01:19:28 Mathematics Mathematical logic Science and technology Theoretical computer science Algorithm Computational complexity theory Mathematical optimization Word problem Algorithm characterizations
37	Machine Learning Literature using Textual Features Andreas van Cranenburgh Huygens ING & Institute for Logic, Language and Computation ABSTRACT Add to Reading List Source URL: tinytocs.ece.utexas.edu Language: English - Date: 2016-03-05 17:06:25 Cognitive science Cognition Science Natural language processing Bigram Classical cryptography Literariness Literary theory Literature Computational linguistics Linguistics Prediction
38	IFSA Newsletter Vol.1, No.4 Issued on Oct. 31, 2004 http://www.pa.info.mie-u.ac.jp/~furu/ifsa/ EUSFLAT: European Society for Fuzzy Logic and Technology Add to Reading List Source URL: isdlab.ie.ntnu.edu.tw Language: English - Date: 2016-04-12 22:54:39 Fuzzy logic Artificial intelligence Logic Mathematical logic Science and technology Logic in computer science Fuzzy set Computational intelligence Fuzzy control system European Society for Fuzzy Logic and Technology
39	Strong systematicity in sentence processing by simple recurrent networks Phil´emon Brakel () Stefan L. Frank () Institute for Logic, Language, and Computation, University of Amsterdam Sci Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2012-03-11 05:05:11 Computational neuroscience Cognitive science Artificial neural networks Cognition Cybernetics Markov models Statistical natural language processing Recurrent neural network Language model Connectionism Convolutional neural network Transformational grammar
40	RLFI A REDUCE LATEX Formula Interface VersionRichard Liska, Ladislav Drska Computational Physics Group Faculty of Nuclear Sciences and Physical Engineering Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:39 Mathematics Software Typography Elementary mathematics Typesetting Syntax Mathematical logic LaTeX TeX Expression Tilde Symbolic computation

UPDATE